- частично рекурсивный оператор
- partial recursive operator
Русско-английский научно-технический словарь Масловского. 2015.
частично рекурсивный оператор
Look at other dictionaries:
ЧАСТИЧНО РЕКУРСИВНЫЙ ОПЕРАТОР — отображение класса всех одноместных функций в себя, определяемое следующим образом. Пусть Ф z нек рый перечисления оператор. С этим оператором естественным образом связан другой оператор к рый действует на одноместных функциях. А именно, всякая… … Математическая энциклопедия
РЕКУРСИВНЫЙ ОПЕРАТОР — всюду определенный частично рекурсивный оператор. В. Е. Плиско … Математическая энциклопедия
ОБЩЕРЕКУРСИВНЫЙ ОПЕРАТОР — частично рекурсивный оператор, к рый определен на всех всюду определенных функциях и переводит всюду определенные функции во всюду определенные. В. Е. Плиско … Математическая энциклопедия
СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание … Философская энциклопедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
